Search Results
DeepSpec Summer School, Part 35, Chlipala (July 26, 2017)
DeepSpec Summer School, Part 37, Chlipala (July 27, 2017)
DeepSpec Summer School, Part 36, Kaashoek and Zeldovich (July 27, 2017)
DeepSpec Summer School, Part 32, Appel (July 25, 2017)
DeepSpec Summer School, Part 40, Shao (July 28, 2017)
DeepSpec Summer School, Part 24, Zdancewic (July 21, 2017)
Dive Style Deep Specs
Adam Chlipala - Ur/Web
Skipping the Binder Bureaucracy with Mixed Embeddings in a Semantics Course (Functional Pearl)
Simple High-Level Code For Cryptographic Arithmetic -- With Proofs, Without Compromises
Adam Chlipala Lecture 1, OPLSS 2015
ICFP Social Events Ask Me Anything on Coq with Adam Chlipala
